Merge branch 'ebassi/for-master' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 5 Jun 2020 15:29:41 +0000 (15:29 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 5 Jun 2020 15:29:41 +0000 (15:29 +0000)
commit2a24459b92e0d2ddb5ac36603083b8f9b97b971b
tree76781a71794c52bd96efcd818004456fac842658
parentea1cc4b99109029d9fdf7c98b73a9c3997c44901
parent1061ad289ab0518ec5b06a628a73814056be4324
Merge branch 'ebassi/for-master' into 'master'

Add missing annotation

See merge request GNOME/gtk!2046